Function type - PDFSEARCH.IO - Document Search Engine

Function type
Results: 893

#	Item
221	The Haskell 98 Foreign Function Interface 1.0 An Addendum to the Haskell 98 Report Manuel Chakravarty [editor], University of New South Wales Sigbjorn Finne, Galois Connections, Inc. Fergus Henderson, University of Melbo Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2003-12-01 01:25:26 Functional languages Data types Type theory Foreign function interface Subroutines Haskell Fold Id Kind Software engineering Computing Computer programming
222	Perl versiondocumentation - perltie NAME perltie - how to hide an object class in a simple variable SYNOPSIS Add to Reading List Source URL: perldoc.perl.org Language: English - Date: 2014-10-03 15:14:32 Perl Data types Search algorithms Perl module Hash function Array data structure Array data type List Objective-C Software engineering Computing Computer programming
223	CS 1173: MATLAB max function The max function returns the maximum value of the elements along an array dimension. B = max(A, [], dim) maximum elements Add to Reading List Source URL: www.cs.utsa.edu Language: English - Date: 2009-09-22 20:23:56 Linear algebra Dimension Vectors MATLAB Array programming Array data type Euclidean subspace Array slicing Algebra Mathematics Software
224	Flow-Sensitive Type Recovery in Linear-Log Time Michael D. Adams ∗ , Andrew W. Keep∗ , Jan Midtgaard† , Matthew Might‡ , Arun Chauhan∗ , R. Kent Dybvig∗ Abstract the cost of run-time type checks. This cost c Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2012-04-14 12:13:51 Models of computation Logic Mathematical logic Function Data-flow analysis Free variables and bound variables Algorithm Lambda calculus Monad Mathematics Elementary mathematics Theoretical computer science
225	MLAPRONIDL: OCaml interface for APRON library Bertrand Jeannet September 11, 2009 All files distributed in the APRON library, including MLApronIDL subpackage, are distributed under LGPL license. Add to Reading List Source URL: apron.cri.ensmp.fr Language: English - Date: 2009-09-11 14:11:21 Functional languages OCaml Type system GNU Multiple Precision Arithmetic Library OBJ Arbitrary-precision arithmetic Monad Function Module Software engineering Computing Computer programming
226	Beyond Do Loops: Data Transfer Generation with Convex Array Regions Serge Guelton, Mehdi Amini, Béatrice Creusillet Telecom Bretagne, Brest, France Silkan, Meudon, France MINES ParisTech / CRI, Fontainebleau, France Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2012-09-14 03:52:10 Array data type Mathematical optimization Software engineering Computing Compiler optimizations Convex optimization Convex analysis Mathematical analysis Convex function
227	CIS 194: Homework 7 Due Wednesday, 25 March Figure 1: The Haskell logo is modelled after the bind function (>>=) in the Monad type class Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2015-04-22 09:29:17 C++ Standard Library Sorting algorithms Analysis of algorithms Quicksort Science Monad Sequence container Fisher–Yates shuffle Randomized algorithm Mathematics Algebra Computing
228	PrefJoin: An Efficient Preference-aware Join Operator Mohamed E. Khalefa 1 , Mohamed F. Mokbel 2 , Justin J. Levandoski 3 Department of Computer Science and Engineering, University of Minnesota, Minneapolis, MN, USA 1 Add to Reading List Source URL: www-users.cs.umn.edu Language: English - Date: 2011-03-19 13:39:03 Logic Data management Mathematical notation Tuple Type theory Extension Hash function Finitary relation Relation Mathematics Relational model Mathematical logic
229	Package ‘SCI’ February 19, 2015 Type Package Title Standardized Climate Indices such as SPI, SRI or SPEI VersionDate Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2015-02-19 16:37:15 Scale parameter Shape parameter Normal distribution Quantile function Statistics Probability theory Probability and statistics
230	“More fun with Graphs” Halvar Flake – Blackhat Federal 2003 Outline for the talk Structural Function Signatures • Motivation Add to Reading List Source URL: www.blackhat.com Language: English - Date: 2014-12-16 19:06:30 Procedural programming languages Subroutines Type signature Type theory Time signature Digital signature Signature Heuristic Matching Cryptography Software engineering Computing

UPDATE